Confidence-Based Reasoning with Local Temporal Formal Contexts
نویسندگان
چکیده
Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It provides tools for reasoning with implication basis (and association rules). In this paper we analyse how to apply FCA reasoning to increase confidence in sports betting, by means of detecting temporal regularities from data. It is applied to build a Knowledge based system for confidence reasoning.
منابع مشابه
The temporal representation and reasoning of complex events
This paper introduces a formalization of complex events. In particular, a formalism is presented to represent intentional and causal events in narrative contexts, and in their mechanisms of composition. Complex events have been defined through classes of a formal ontology that has been called the Ontology of Complex Events (OntoCE). This approach has allowed for the applications (reuse) of exis...
متن کاملTemporal Reasoning for Procedural Programs
While temporal verification of programs is a topic with a long history, its traditional basis—semantics based on word languages—is ill-suited for modular reasoning about procedural programs. We address this issue by defining the semantics of procedural (potentially recursive) programs using languages of nested words and developing a framework for temporal reasoning around it. This generalizatio...
متن کاملSelecting Attributes for Sport Forecasting using Formal Concept Analysis
In order to address complex systems, apply pattern recongnition on their evolution could play an key role to understand their dynamics. Global patterns are required to detect emergent concepts and trends, some of them with qualitative nature. Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It provides tools for reasoning with i...
متن کاملA Novel Semantics for Alternating-time Temporal Logic under Imperfect Information M2 Project
This project proposal hinges on a novel semantics for Alternating-time Temporal Logic (ATL), a logic for reasoning about strategic behaviours in Multi-agent Systems (MAS). The project is directed by Francesco Belardinelli (mâıtre de conférences, laboratoire IBISC, UEVE) and it is part of the ANR JCJC project SVeDaS “Specification and Verification of Dataaware Systems”. The main scientific objec...
متن کاملA RDF and OWL-Based Temporal Context Reasoning Model for Smart Home
In the ubiquitous computing environment, context reasoning is an important issue of context-awareness. It is used to deduce desired or higher-level context and then to provide suitable services automatically. The previous context-reasoning approaches are mainly non-temporal. The reasoning is according to the real-time contexts without time information. However, temporal contexts are very import...
متن کامل